​

    }

​

    hideEditor(): void {

​

      this._saveTimer.endWaiting();

      this.textDoc.editor.off('changes', this._closures.cm_changes);

      this.textDoc.editor.off('cursorActivity', this._closures.cm_cursorActivity);

      this.textDoc.editor.off('viewportChange', this._closures.cm_viewportChange);

​

      if (this.textDoc.close)

        this.textDoc.close();

      var editor = this.textDoc.editor;

      this.textDoc.editor = null;

      var cmPool =

        CodeMirrorDocHandler.codeMirrorEditorPools[this.moduleName || ''];

      cmPool.push(editor);

    }

    remove() {

      this._saveTimer.stop();

      this.textDoc.remove();

      this.textDoc.doc = null;

    }

​

    private _docChanges(docChanges: CodeMirror.EditorChange[]) {

​

      if (this.textDoc.onChanges)

        this.textDoc.onChanges(docChanges);

​

      if (this._scrollerModel)

        this._scrollerModel.docChanges(docChanges);

​

      this._saveTimer.interval = (this.moduleObj && this.moduleObj.saveDelay) || saveDelay;

      this._saveTimer.reset();

​

      if (docChanges.length) {

        var latestChange = docChanges[docChanges.length - 1];

        if (latestChange.text && latestChange.text.length) {

          var latestChangeText = latestChange.text[latestChange.text.length - 1];

​

          var triggers = this.moduleObj && this.moduleObj.completionTriggers ?

            this.moduleObj.completionTriggers :

            completionTriggers;

​

          if (ko.utils.arrayIndexOf(triggers, latestChangeText.charAt(latestChangeText.length - 1)) >= 0) {

            this._triggerCompletion();

          }

        }

      }

    }

    private _triggerCompletion() {

      if (this.textDoc.onCompletion) {

        var asyncContinueCompletion = (cm, callback, options) => this._continueCompletion(callback);

        (<any>asyncContinueCompletion).async = true;

          hint: asyncContinueCompletion,

          completeSingle: false

        });

​

      }

    }

    private _continueCompletion(callback: (result: CodeMirror.showHint.CompletionResult) => void) {

      this.textDoc.onCompletion(callback);

    }

​

    private _cursorActivity() {

      if (this.textDoc.onCursorMoved) {

        var cursorPos = this.textDoc.doc.getCursor();

        this.textDoc.onCursorMoved(cursorPos);

      }

​

      // TODO: scroller/thickBar cursor activity

​

    }

    private _viewportChange(from: number, to: number) {

      if (this.textDoc.onViewportMoved) {

        this.textDoc.onViewportMoved(from, to);

      }

​

      if (this._scrollerModel)

        this._scrollerModel.viewportMoved(from, to);

    }

​

    private _save() {

      this.storage.write(this.textDoc.doc.getValue());

    }